⊕Post-Refind-Record names a function, with lambda list NIL:
Prove that loading the same record twice gives an EQL object.
Defined in file src/db/generic-db.lisp.